Classical logic - PDFSEARCH.IO - Document Search Engine

Classical logic
Results: 885

#	Item
21	From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:31 Probability Amyloidosis Logic Formal epistemology Non-classical logic Probabilistic logic Automated planning and scheduling PRNP Markov decision process Planning Domain Definition Language PP
22	Biases and [Ir]rationality 2 Informatics 1 CG: Lecture 19 Chris Lucas Last time Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-03-01 08:55:09 Logic Philosophy Non-classical logic Reasoning Probability interpretations Formal sciences Inference Logical consequence Frequentist probability Probabilistic logic
23	ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:48 Logic Mathematical logic Logic in computer science Artificial intelligence Fuzzy logic Philosophy Non-classical logic Fuzzy concept Fuzzy set Causality Boolean algebra
24	Automated Critique of Sketched Mechanisms Add to Reading List Source URL: silccenter.org Language: English - Date: 2010-05-15 15:22:12 Reasoning Cognition Philosophy Logic Classical mechanics Cognitive science Qualitative research Qualitative reasoning Qualitative Reasoning Group Spatialtemporal reasoning Ken Forbus Analogy
25	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic
26	COMP-201: Discrete Computational Structures (Fall 2008 Syllabus) Instructor: Y¨ucel Yemez, Rm: Eng-139, Email: , Phone: , Office hours: Tuesday/Thursday 14:30-15:30. Teaching Assistants: Add to Reading List Source URL: atakangunal.com Language: English - Date: 2014-10-22 13:26:07 Logic Mathematical logic Mathematics Boolean algebra Classical logic Propositional calculus Discrete mathematics Algorithm Academic dishonesty
27	Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-12-12 07:17:03 Logic Mathematical logic Abstraction Proof theory Model theory Non-classical logic Predicate logic Philosophical logic Natural deduction Sequent calculus Sequent First-order logic
28	Lexicographic Composition of Fuzzy Orderings Ulrich Bodenhofer Software Competence Center Hagenberg A-4232 Hagenberg, Austria Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2007-11-08 03:07:42 Fuzzy logic Logic Order theory Mathematical logic Abstraction Artificial intelligence Non-classical logic Fuzzy set T-norm Partially ordered set Fuzzy control system Path ordering
29	Machine Learning Literature using Textual Features Andreas van Cranenburgh Huygens ING & Institute for Logic, Language and Computation ABSTRACT Add to Reading List Source URL: tinytocs.ece.utexas.edu Language: English - Date: 2016-03-05 17:06:25 Cognitive science Cognition Science Natural language processing Bigram Classical cryptography Literariness Literary theory Literature Computational linguistics Linguistics Prediction
30	Unexpected Inconsistency The Problem Logic: Between Semantics and Proof Theory Tel-Aviv, 1-2 November 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-11-12 12:31:46 Logic Non-classical logic Philosophy Belief revision Paraconsistent logic Philosophical logic Mathematical logic Adaptive behavior